#include <stdio.h>

int main() {
    printf("1314520\n");
    fflush(stdout);
    *(int*)(0) = 5;
    return 0;
}